Structural Completeness in Relevance Logics

Structural Completeness in Relevance Logics

Structural completeness in propositional logics of dependence

In this paper we prove that three of the main propositional logics of dependence are structurally complete with respect to a class of substitutions under which the logics are closed. As these logics are not structural, the notions of admissibility and structural completeness have to be considered relative to classes of substitutions with respect to which they are, as we do in this paper. Depend...

A New Proof of Structural Completeness of Lukasiewicz’s Logics

A Syntactical Characterization of Structural Completeness for Implicational Logics

Kripke Completeness for Intermediate Logics